Tipi di files

Opera, dopo l'installazione, possiede delle impostazioni predefinite per la gestione dei files scaricati sul computer.

Per aggiungere nuovi tipi di files:

Cliccare su
Inserire in modo esatto la stringa MIME che si desidera impostare
Inserire una lista, separata da virgole, di estensioni da associare al nuovo tipo di files, ad esempio "jpeg, jpg, jpe"
Scegliere quali azioni vanno intraprese da Opera

Azione	Spiegazione
Mostra finestra di dialogo download	Visualizza una finestra nella quale scegliere come gestire il file
Apri con Opera	Opera può visualizzare testo, linguaggi markup, e immagini
Salva su disco	E' possibile specificare una cartella di destinazione per un determinato tipo di files, ad esempio $HOME/download/zip per i files ZIP
Apri con un'altra applicazione	Specifica quale applicazione utilizzare per aprire un certo tipo di files E' possibile passare direttamente l'indirizzo del file ad un'applicazione (utile con files multimediali in streaming)
Usa un plug-in	Usa un plug-in per accedere al file

Alcuni servers, erratamente configurati, possono scambiare un filmato con un file di testo. Per porre rimedio a questo inconveniente, impostare Opera affinchè identifichi un file dall'estensione ogniqualvolta il tipo MIME non sia affidabile.

Suggerimento: Per rintracciare rapidamente un tipo di files che si desidera modificare, utilizzare il campo "Ricerca veloce"

Nota: Prestare sempre la massima attenzione durante la modifica di un tipo di files. Il corretto funzionamento di Opera è legato strettamente alle impostazioni di alcuni di essi.